mk{-}eval($E$;${\it eq}$;${\it prd}$;${\it info}$;${\it oax}$;$T$;$w$;$a$;${\it sax}$;$V$;$v$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$E$, ${\it eq}$, ${\it prd}$, ${\it info}$, ${\it oax}$, $T$, $w$, $a$, ${\it sax}$, $V$, $v$, $\cdot>$